1. First-order dynamic logic
پدیدآورنده : Harel, David
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic digital computers-- Programming,، Logic, Symbolic and mathematical,، Recursion theory
رده :
QA
76
.
6
.
H34
1979
2. First-order dynamic logic
پدیدآورنده : Harel, David
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Electronic digital computers - Programming,، Logic, Symbolic and mathematical,، Recursion theory
رده :
QA
76
.
L4
v
.
68
